NOTE: This is a preliminary release of an article accepted by the ACM Transactions on Modeling and Computer Simulation. The definitive version is currently in production at ACM and, when released, will supersede this ver

Source URL: www.cs.cornell.edu

• Science
• Computational science
• Operations research
• Simulation
• Network simulation
• Logic simulation
• Computer simulation
• Algorithm
• Wireless sensor network
• Electronic engineering
• Scientific modeling
• Electronic design automation

5 CONSTRAINT SATISFACTION PROBLEMS In which we see how treating states as more than just little black boxes leads to the

Source URL: aima.cs.berkeley.edu

• Artificial intelligence
• Constraint satisfaction problem
• Local consistency
• Constraint satisfaction
• Local search
• Search algorithm
• Backtracking
• Mathematical optimization
• Constraint logic programming
• Constraint programming
• Software engineering
• Computer programming

OCC EDR Release, Beta Data Quality Last Updated: Read-me for Data Users The JPSS Algorithm Engineering Review Board approved the release of the OCC EDR to the public with a Beta level quality as of 6 February 20

Source URL: www.class.ncdc.noaa.gov

VIIRS Aerosol Optical Thickness (AOT) and Aerosol Particle Size Parameter (APSP) IP/EDR Release, Provisional Data Quality May 2013 Read-me for Data Users The JPSS Algorithm Engineering Review Board (AERB) released the

Source URL: www.class.ncdc.noaa.gov

• AERONET
• Angstrom exponent
• Aerosol science
• Moderate-Resolution Imaging Spectroradiometer
• EVI
• Aerosol
• Atmospheric sciences
• Meteorology
• Visibility

VIIRS Active Fires ARP Release, Provisional Data Quality October 23, 2013 Read-me for Data Users The JPSS Algorithm Engineering Review Board released the VIIRS Active Fires (AF) Applications Related Product (ARP) to the

Source URL: www.class.ncdc.noaa.gov

• Joint Polar Satellite System
• National Oceanic and Atmospheric Administration
• Systems engineering
• Moderate-Resolution Imaging Spectroradiometer
• EVI
• Systems engineering process
• NPOESS
• Earth
• Spaceflight
• Spacecraft

VIIRS Suspended Matter EDR Release, Beta Data Quality May 2013 Read-me for Data Users The JPSS Algorithm Engineering Review Board (AERB) released the Suspended Matter (SM) Environmental Data Record (EDR) to the public wi

Source URL: www.class.ncdc.noaa.gov

• Physical chemistry
• Moderate-Resolution Imaging Spectroradiometer
• EVI
• Algorithm
• Dust
• Matter
• Chemistry
• Science
• Aerosol science
• Particulates
• Aerosol

Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo

Source URL: www.andrew.cmu.edu

• Datalog
• Logic programming
• Prolog
• Algorithm
• Formal methods
• Software engineering
• Computing
• Programming language theory

OMPS Total Column Release, Provisional Data Quality Recommended Cautions for Data Users Last updated April 15, 2013 The JPSS Algorithm Engineering Review Board has reviewed the OMPS Total Column Ozone Data Record product

Source URL: www.class.ncdc.noaa.gov

• Environmental chemistry
• Disinfectants
• Gases
• Ozone
• Ultraviolet
• Ozone depletion
• Chemistry
• Oxygen

VIIRS-VI-EDR Release, Beta Data Quality Last Updated: Read-me for Data Users The Joint Polar Satellite System (JPSS) Algorithm Engineering Review Board approved the release of the Visible Infrared Imager Radio

Source URL: www.class.ncdc.noaa.gov

• Biology
• Remote sensing
• EVI
• Normalized Difference Vegetation Index
• Ecology
• Moderate-Resolution Imaging Spectroradiometer
• Joint Polar Satellite System
• Advanced Very High Resolution Radiometer
• Biomass
• National Oceanic and Atmospheric Administration
• Earth
• Spacecraft